یک مدل سمبلیک برای رابطه ی بین دقت و خطا در یک ضرب کننده صحیح ترتیبی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده کامپیوتر و فناوری اطلاعات
- نویسنده محسن حاج عبدالهی اودرجی
- استاد راهنما هومان نیک مهر شهرام اعتمادی
- سال انتشار 1392
چکیده
با پیچیده شدن مدارهای دیجیتال و میل به افزایش تراکم آن ها، انواع خطاهای رخدادی در سطح لی اوت مدارها باعث عدم عملکرد صحیح مدارها شده است. عموماً فرض اینکه یک مدار عاری از خطا باشد یک فرض ایده آل و دور از واقعیت است. این مسئله باعث شده است تا روش های زیادی در حوزه ی تشخیص خطا پیشنهاد شود. روش های پیشنهاد شده، برخی در حوزه ی آزمون و آزمون پذیری مدارها ارائه شده اند که با الگوریتم انتشار موضع خطا در خروجی، آن را تشخیص می دهند. اگر به منظور تشخیص خطا، با خروجی ها به صورت بیت های منطقا مرتبط با یکدیگر رفتار شود، می توان دید بهتری از رفتار خطا ارائه کرد و آن را به خوبی تحلیل، تفسیر و پیش بینی کرد. همچنین به منظور تحلیل خطا روش های مختلفی در حوزه ی ارزیابی قابلیت اطمینان تاکنون ارائه شده اند، که اثر خطا در هر بیت خروجی بررسی شده است. رخداد خطا ممکن است اثر یک خطای رخ داده شده در خروجی دیگر را تعدیل نماید، بنابراین تحلیل خطای همه ی خروجی هایی که بر یکدیگر تأثیر دارند از اهمیت خاصی برخوردار است. در صورتی که بتوان خطای رخدادی را به بیت های خروجی منتقل کرد و از یک تحلیل مبتنی بر رابطه ی منطقی بین این خروجی ها استفاده شود، می توان تحلیل درست و کارایی از عناصر خطا دار به دست آورد. در این پژوهش با استفاده از روش های به کار رفته در دو حوزه ی ارزیابی قابلیت اطمینان و آزمون و آزمون پذیری مدارهای دیجیتال، سعی در مدل سازی خطا شده است. با استفاده از این مدل سازی که با در نظر گرفتن رابطه ی منطقی بین بیت های خروجی عمل می کند، می توان عملکرد خطا را بهتر مشاهده کرد و در نتیجه می توان رفتار آن را پیش بینی کرد. در نهایت یک رابطه ی بین خطای ورودی در مدار و دقت عملیات به صورت سمبلیک ارائه می شود.
منابع مشابه
طراحی یک ضرب کننده ترتیبی با قابلیت تحمل پذیری خطا
در فرایند توسعه هر سیستم، قابلیت اطمینان آن، از جمله مهم ترین موضوعات به شمار رفته و نگرانی در زمینه اعتمادپذیری، از اجزای جدایی ناپذیر در طراحی های مهندسی محسوب می گردد. یک سیستم تحمل پذیر خطا در سطوح مقدماتی، توانایی تشخیص وقوع خطا و در مراحل بالاتر، توانایی تصحیح خطا و بازگرداندن سیستم به عملکرد عادی خود را خواهد داشت. استفاده از واحدهای محاسباتی تحمل پذیر خطا در پیاده سازی سیستم های ریزپر...
ضرب کننده ترتیبی 64 بیتی تخمینی با دقت پیش رونده
محاسبات تخمینی یکی از جدیدترین و پرکاربردترین شاخه های محاسبات دیجیتال است. افزایش سرعت، پایین آوردن توان مصرفی و کاهش مساحت واحدهای محاسباتی در کنار فراهم نمودن دقت مناسب از اهداف این ایده ی نوین می باشند که با حذف یا تغییر قسمتی از مدار واحدهای مزبور محقق می گردد. یکی از کلیدی ترین واحدهای محاسباتی ضرب کننده ها می باشند که نقش بسزایی در اکثر سیستم های دیجیتال بر عهده دارند و به همین دلیل ضرب ...
15 صفحه اولارائه و حل یک مدل چندهدفه ی فازی کامل برای مسئله ی انتخاب تأمین کننده
مسئله ی انتخاب تأمین کننده یکی از مراحل مهم مدیریت زنجیره ی تأمین است و به دلیل برخورداری از ماهیت چندشاخصه بودن، ذهن دانشمندان زیادی را به خود مشغول کرده است. از آنجا که در دنیای واقعی متغیرها غالباً غیرقطعی اند این پژوهش به استفاده از نظریه ی فازی در مسئله ی انتخاب تأمین کننده می پردازد. بدین منظور مدلی با سه هدف کمینه کردن هزینه، بیشینه کردن کیفیت و بیشینه کردن تحویلِ به موقع با پارامترهای فاز...
متن کاملارائۀ یک مدل برنامهریزی خطی عدد صحیح دومرحلهای برای مسئلۀ زمانبندی دروس دانشگاهی
در این پژوهش، یک مدل برنامهریزی عدد صحیح برای مسئلۀ زمانبندی دروس دانشگاهی ارائه شده است. برای کاهش تعداد متغیرهای تصمیم، ترکیب درس و استاد و گروه دانشجو بهعنوان فعالیت معرفی شد و دو مدل برنامهریزی عدد صحیح با عنوان مدل مبتنی بر فعالیت و مدل دومرحلهای مبتنی بر فعالیت بهدست آمد. در مرحلۀ اول برمبنای تعداد جلسات لازم در هفته در بازههای زمانی روزهای مختلف هفته، تمام فعالیتها زمانبندی شد...
متن کاملرابطه ی بین سبک های حل تعارض، بهزیستی روان شناختی و ثبات ازدواج : ارائه یک مدل علی
این پژوهش با هدف تبیین رابطه علّی بین سبکهای حل تعارض و ثبات ازدواج با میانجیگری بهزیستی روانشناختی انجام شد. پژوهش از نوع همبستگی بود. جامعه آماری شامل افراد (زن و مرد) متأهلی بود که حداقل 3 سال از ازدواج آنان گذشته باشد و در ماههای اردیبهشت تا شهریور 1397 به مراکز مشاوره منطقه 2 تهران مراجعه کردهباشند. 308 نفر نمونه به صورت در دسترس و داوطلبانه انتخاب شدند. ابزار پژوهش شامل پرسشنامههای ب...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده کامپیوتر و فناوری اطلاعات
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023